Skip to main content

Full text of "Treatise On Analysis Vol-Ii"

See other formats


is integrable with respect to the product measure fa  u2  *  *  \in on Gn. It
follows immediately from this definition and from (13.21.17) that the sequence
G")i^i^ is convolvable if and only if the sequence (|^il)i^^w of absolute
values of these measures is convolvable. Moreover, it is clear that


H\ (xn)

is then a positive linear form on JTR(G) and therefore a positive measure on
G (13.3.1) ; and for all/e JfH(G) we have

(14.5.1 )

I f    f

by virtue of (13.16.5) and (13.21.17). It follows directly (13.1.1) that
/H> f    \ f(x1x2 ' ' ' xn) d^i(#i)   * d^nCO is also a (complex) measure on G.
This measure is denoted by ut * ^2 *  - - * un and is called the convolution pro-
duct or convolution of the sequence (u^ ^t^n- The formula (1 4.5.1 ) also shows

(14.5.2)               I/*! * /*2 * -   * 0J ^ K| * |/i2| *    * |/ij.

For each function/e 5fc(G), the function (xl9 . . . , ^n)i-^/(jc1A:2    xn) is
continuous and therefore measurable with respect to every measure on Gn;
hence, by virtue of (13.21 .10), the sequence (jii9 . . . , nn) is convolvable if and
only if


f *d |^(1)| (x,(1))   \

4- oo

for some permutation a of {1, 2, ...,}. An equivalent condition is that, for
each compact subset K of G, the (closed) set A c G" of points (xl9 x2,..., xn)
such that xtx2   * JCB e K is (^  ju2      ^-integrable.

If a sequence (/z, v) of two measures is convolvable, we say that ^ and v
(in this order) are convolvable, or that \i is convolvable on the left with v, or
that v is convolvable on the right with u. If ^ and v are convolvable and /z', v'
are two measures such that |ju'| ^ |ju| and |v'| ^ |v|, then it is clear from
(14.5.3) that n' and v' are convolvable. measures